Xerox PARC

Ethernet, the most widely deployed wired networking standard, was named after the discredited 19th-century concept of luminiferous ether. Robert Metcalfe deliberately chose the name in 1973 to emphasi…

The first LCF-style proof assistant, Edinburgh LCF, was introduced in 1975, establishing the foundational principles of a proof kernel, natural deduction, and goal-directed proof that underpin modern …